Harrie de Swart: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (17)
Most Popular
List
- List
- Table

1

Theory and Applications of Relational Structures as Knowledge Instruments: COST Action 274, TARSKI. Revised Papers

Theory and Applications of Relational Structures as Knowledge Instruments: COST Action 274, TARSKI. Revised Papers

Springer-Verlag Berlin Heidelberg

Rudolf Berghammer, Gunther Schmidt (auth.), Harrie de Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens (eds.)

Year:

2003

Language:

english

File:

PDF, 2.42 MB

0 / 0

english, 2003

2

Theory and Applications of Relational Structures as Knowledge Instruments: COST Action 274, TARSKI. Revised Papers

Theory and Applications of Relational Structures as Knowledge Instruments: COST Action 274, TARSKI. Revised Papers

Springer-Verlag Berlin Heidelberg

Rudolf Berghammer, Gunther Schmidt (auth.), Harrie de Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens (eds.)

Year:

2003

Language:

english

File:

PDF, 2.78 MB

0 / 0

english, 2003

3

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

Springer Berlin Heidelberg

N. G. de Bruijn (auth.), Harrie de Swart (eds.)

Year:

1998

Language:

english

File:

PDF, 1.73 MB

0 / 0

english, 1998

4

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

Springer Berlin Heidelberg

N. G. de Bruijn (auth.), Harrie de Swart (eds.)

Year:

1998

Language:

english

File:

PDF, 3.88 MB

0 / 0

english, 1998

5

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Bernhard Möller (auth.), Harrie de Swart (eds.)

Year:

2011

Language:

english

File:

PDF, 3.69 MB

0 / 5.0

english, 2011

6

Theory and Applications of Relational Structures as Knowledge Instruments

Theory and Applications of Relational Structures as Knowledge Instruments

Harrie de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens

Year:

2003

Language:

english

File:

TXT, 739 KB

0 / 0

english, 2003

7

Philosophical and Mathematical Logic

Philosophical and Mathematical Logic

Harrie de Swart

Year:

2018

Language:

english

File:

PDF, 6.63 MB

5.0 / 5.0

english, 2018

8

Philosophical and Mathematical Logic

Philosophical and Mathematical Logic

Springer International Publishing

Harrie de Swart

Year:

2018

Language:

english

File:

PDF, 6.65 MB

0 / 0

english, 2018

9

Philosophical and mathematical logic

Philosophical and mathematical logic

De Swart, Harrie

Year:

2018

Language:

english

File:

PDF, 3.71 MB

5.0 / 5.0

english, 2018

10

Philosophical and Mathematical Logic

Philosophical and Mathematical Logic

Harrie de Swart

Year:

2018

Language:

english

File:

PDF, 5.83 MB

5.0 / 0

english, 2018

11

Philosophical and mathematical logic

Philosophical and mathematical logic

De Swart, Harrie

Year:

2018

Language:

english

File:

PDF, 6.65 MB

5.0 / 0

english, 2018

12

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Bernhard Möller (auth.), Harrie de Swart (eds.)

Year:

2011

Language:

english

File:

PDF, 3.19 MB

0 / 0

english, 2011

13

Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised

Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised

Harrie de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens

Year:

2006

Language:

english

File:

PDF, 3.76 MB

0 / 0

english, 2006

14

Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

Springer-Verlag Berlin Heidelberg

Agnieszka Rusinowska, Rudolf Berghammer (auth.), Harrie de Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens (eds.)

Year:

2006

Language:

english

File:

PDF, 3.25 MB

0 / 0

english, 2006

15

Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers

Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers

Springer-Verlag Berlin Heidelberg

Wolfram Kahl (auth.), Harrie C. M. de Swart (eds.)

Year:

2002

Language:

english

File:

PDF, 4.22 MB

0 / 0

english, 2002

16

Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers

Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers

Springer-Verlag Berlin Heidelberg

Wolfram Kahl (auth.), Harrie C. M. de Swart (eds.)

Year:

2002

Language:

english

File:

PDF, 11.57 MB

0 / 0

english, 2002

17

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Bernhard Möller (auth.), Harrie de Swart (eds.)

Year:

2011

Language:

english

File:

PDF, 3.61 MB

0 / 0

english, 2011